English lambda abstraction: переклад на інші мови